What does "first-order logic" mean?

A formal deductive system extended from propositional logic with the possibility to quantify over individuals of the domain of discourse.

What is a synonym for "first-order logic"?

Common synonyms include: predicate calculus.

noun

noun ·Rare ·Advanced level

Noun

1
A formal deductive system extended from propositional logic with the possibility to quantify over individuals of the domain of discourse. countable, uncountable